Books by author Alessandra Di Pierro

Showing 1 – 3 out of 3 results

1. 

   Formal Methods for Quantitative Aspects of Programming Languages

   Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky | Springer, Berlin, 2010

   
   

   In stock at our supplier - Shipping in 14 - 21 days

   Language: English

   Binding: Paperback

   55.88 €

   Buy
2. 

   Formal Methods for Dynamical Systems

   Marco Bernardo, Erik de Vink, Alessandra Di Pierro, Herbert Wiklicky | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2013

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   47.41 €

   Sale 7 %

   You save 3.95 €

   Buy
3. 

   From Lambda Calculus to Cybersecurity Through Program Analysis

   Alessandra Di Pierro, Pasquale Malacaria, Rajagopal Nagarajan | Springer Nature Switzerland AG, 2020

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.54 €

   Sale 7 %

   You save 4.27 €

   Buy

We were in the final of Shop of the Year 2014. Find out more